Chronique. Défis pour le génie de la programmation et du logiciel

نویسندگان

  • Laurence Duchien
  • Yves Ledru
چکیده

Le groupe LTP (langages, types et preuves) note que la diffusion des méthodes de développement basées sur la preuve reste limitée. Il diagnostique que cet état de fait est lié à la difficulté de prise en main des outils de preuve, à leur capacité à passer à l'échelle et à la nécessité de valider les spécifications et hypothèses de départ. Il propose des pistes pour relever le défi de l'adoption des outils de preuve et propose de faciliter la validation des spécifications par l'utilisation de langages dédiés aux domaines concernés.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Vers une ontologie pour les communautés de développement de logiciel libre

Résumé : Différentes approches du développement logiciel se sont succédées et cohabitent. Le développement de logiciel libre peut être vu comme un cas particulier de développement distribué ayant une structure de projet plus volatile, sans organisation clairement définie, nécessitant une participation à long terme et une vision commune des participants. La nature dynamique et libre de ce type d...

متن کامل

معمای معاهده حق مؤلف سازمان جهانی مالکیت فکری مصوب 1996

Le traite de l’OMPI sur le droit d’auteur de 1996 est venu completer et mettre à jour la convention de Berne. Il a, dans une large mesure, reussie d’atteindre ses objectifs surtout pour; l’adoption des compilations de donnees sous quelque forme que ce soit, et de logiciel comme creations intellectuelles; la precision du droit de location pour les auteurs de progra...

متن کامل

ILOG : vingt ans dans les objets, rétro et perspectives

De nombreux fronts se sont ouverts, souvent complémentaires. Front de la programmation : des objets lispiens tels que LeLisp et son inévitable MicroCeyx à Java et C#. Front de la modélisation et du raisonnement : de la première génération de systèmes centrés objets tels Kool, Smeci, FRL ou Sherpa aux règles métiers et aux modèles ontologiques tels que promus par le W3C. Front du Génie Logiciel ...

متن کامل

Vers une Théorie du Test des programmes à contraintes

Tout processus de développement logiciel effectué dans un cadre industriel inclut désormais une phase de test ou de vérification formelle, y compris pour le développement des programmes à contraintes. Notre travail vise à poser les jalons d’une Théorie du test des programmes à contraintes qui puisse servir de socle à cette vérification. Cette nouvelle théorie est également motivée par le dévelo...

متن کامل

Réseaux FIFO Colorés Stricts pour la formalisation des applications de visualisation scientifique interactives

Résumé. La programmation par composants est devenue une approche essentielle et très utilisée en génie logiciel. En particulier, dans le cadre des applications de visualisation scientifique interactives, cette approche offre une architecture claire aux développeurs permettant de bien séparer les différentes parties fonctionnelles de l’application comme l’interaction, la simulation et la visuali...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Technique et Science Informatiques

دوره 31  شماره 

صفحات  -

تاریخ انتشار 2012